Yesterday’s man?

Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers

We investigate the satisfiability problem for metric temporal logic (MTL) with both past and future operators over linear discrete bi-infinite time models isomorphic to the integer numbers, where time is unbounded both in the future and in the past. We provide a technique to reduce satisfiability over the integers to satisfiability over the wellknown mono-infinite time model of natural numbers,...

Visual Analysis of Corporate Network Intelligence: Abstracting and Reasoning on Yesterdays for Acting Today

This article proposes to go beyond the standard visualization application for security management, which is usually day-to-day monitoring. For this purpose, it introduces a pyramidal vision of the network intelligence and of the respective role of information visualization to support not only security engineers, but also analysts and managers. The paper first introduces our holistic vision and ...

Cystic Lung Disease in a Young man

A 32-year-old man was admitted in the Emergency Department with acute dyspnea secondary to spontaneous pneumothorax. He had history of spontaneous pneumothorax 2 years ago.He was active cigarette smoker (10 pack/year). The family history was unremarkable for lung diseases. Additionally, he had no systemic complaints.The lung HRCT revealed multiple bizarre-shaped cysts distributed in both lungs ...

Editor's Note/Man, the Story-Telling Animal

A new philosophy of man and humanism

The theoretical basis for the new philosophy was laid by the American philosopher James Joseph Dagenais (1923-1981), who came to the conclusion that philosophical anthropology is not a science, but a domain unto itself, and that a philosophy of man can only come about as a joint undertaking of all sciences, in which the object of study must be man himself. The final explanation of man lies outs...